Nuprl Definition : l_index
11,40
postcript
pdf
index(
L
;
x
) == mu(
i
.eqof(
dT
)(
x
,
L
[
i
]))
latex
clarification:
l_index(
dT
;
L
;
x
) == mu(
i
.eqof(
dT
)(
x
,
L
[
i
]))
latex
Definitions
l
[
i
]
,
eqof(
d
)
,
mu(
f
)
FDL editor aliases
l_index
origin
i.eqof(dT)(x,L[i]))
i.eqof(dT)(x,L[i])) i.eqof(dT)(x,L[i]))
i.eqof(dT)(x,L[i]))